// maihc @ 2021.09.20
#include "vgastr.h"

void main(){
	printf("Hello OS! I am maihc!");
	return;
}
